Zie (ook):

- ^Mijnbouw

- ^Mijnwerker